syzygy theorem

合系定理